On Contract Monitoring for the Verification of Component-Based Systems
نویسنده
چکیده
This position paper focuses on contract monitoring for component interfaces, considering the verification of functional and non-functional properties in the contracts. We investigate what properties are needed on behavioral and Quality of Service contracts. We also define what are the requirements on a monitoring environment to handle properly those contracts. We briefly transpose those requirements to a meta-level architecture.
منابع مشابه
Runtime Verification of Timing Constraints
The necessity for reusing software components in embedded systems becomes significant due to the ever-increasing software complexity, product diversification and market pressure. In order to facilitate the reuse of components we have developed the CCOM (Component and Contract Oriented Modeling) language for the specification and the composition of embedded components. Nonfunctional constraints,...
متن کاملModeling of Capacity Reservation and Supplier Selection Based on Option Contract
Capacity Reservation, Option Contract, Supplier Selection A key issue for manufacturing firms is planning for outsourced components. In this research, we have considered a manufacturer in a Make-to-Order production environment who has to outsource a special component from a set of suppliers. One selling season is considered and the manufacturer faces uncertain demand during the selling ...
متن کاملVerification of an Evolutionary-based Wavelet Neural Network Model for Nonlinear Function Approximation
Nonlinear function approximation is one of the most important tasks in system analysis and identification. Several models have been presented to achieve an accurate approximation on nonlinear mathematics functions. However, the majority of the models are specific to certain problems and systems. In this paper, an evolutionary-based wavelet neural network model is proposed for structure definiti...
متن کاملارانه الگوی رتبه بندی HSE پیمانکاران پیش از عقد قرارداد بر اساس سطح پیمان
Background and aims: Evaluation of the contractor’s HSE is a key issue for the employer that influences the selection of a contractor. An appropriate method of assessment can play a significant role in the selection of qualified contractors. This paper presents a new method for ranking of contractor’s HSE at pre-contract stage of a project. Methods: To develop this new evaluation method, ...
متن کاملComponents, Contracts and Vocabularies - Making Dynamic Component Assemblies more Predictable
In recent years, dynamic component-based systems such as OSGi and its derivatives have become very successful. This has created new challenges for verification. Assemblies are created and modified dynamically at runtime, but many existing techniques such as unit testing are designed for buildtime verification. Runtime verification is usually restricted to type checks. We propose a simple compon...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001